#!/bin/sh
# $Id$
_PROB_coredumps="Core Dumps"
_PROB_filename="Dateiname"
_PROB_date="Erzeugt am"