Repealed German legislation