Föreslagen normalarbetsdag för Berlins arbetare.