class Mitarbeiter extends Person {
    public int personalnummer;
}