Workstation WG Meeting, December 12 (secretary: Jens)